Import Shell as needed by recent commit

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 52a00daa958fc59d9db46413150e0deb5c8a7d8c..a3e291840e83ac30560f5c2bc38b8ba7287d40c6 100644 (file)
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -6,6 +6,7 @@ const Gio = imports.gi.Gio;
 const Lang = imports.lang;
 const Meta = imports.gi.Meta;
 const St = imports.gi.St;
+const Shell = imports.gi.Shell;
 
 const AltTab = imports.ui.altTab;
 const WorkspaceSwitcherPopup = imports.ui.workspaceSwitcherPopup;